$\forall$$k$:Knd, $L$:(IdLnk List). $k$ sends only on links in $L$ $\in$ MsgA